Automatic Synthesis of Fast Compact Asynchronous Control Circuits
نویسندگان
چکیده
A tool called MEAT is presented which automatically synthesizes transistor level, CMOS, asynchronous control circuits from nite state machine based speci cations. MEAT has been used to synthesize the control circuits for an asynchronous 300,000 transistor communication coprocessor. Keyword Codes: B.6.1; B.6.3; B.7.2
منابع مشابه
Automatic Synthesis of Fast , Compact Self - Timed Control
An automated synthesis tool, called the Most Excellent Asynchronous Tool, or MEAT is presented. This tool has been used to specify and synthesize self-timed circuits for a fully self-timed 300,000 transistor communication co-processor. The speciication is done with stylized state diagrams. This is a very compact and intuitive means to specify communication, concurrency, and synchronization nece...
متن کاملApplication - Speci c Programmable Control for High Performance Asynchronous Circuits
| The advantages of the programmable control paradigm are widely known in the design of synchronous sequential circuits: easy correction of late design errors, easy upgrade of product families to meet time to market constraints, and modi cations of the control algorithm, even at run-time. However, despite the growing interest in asynchronous (self-timed) circuits, programmable asynchronous cont...
متن کاملAutomatic Synthesis of Fast Compact Self-Timed Control Circuits
We present a tool called MEAT which has been designed to automatically synthesize transistor level, CMOS, self-timed control circuits. MEAT has been used to specify and synthesize self-timed circuits for a fully self-timed 300,000 transistor communication coprocessor. The design is speci ed using nite state machines which permit burst-mode inputs. Burst-mode is a limited form of MIC (multiple i...
متن کاملTranslating Concurrent Programs into Petri Nets for Synthesis of Asynchronous Circuits
We introduce a high-level synthesis methodology to automatically synthesize asynchronous circuits from a concurrent language called ALEPH. ALEPH is a high-level concurrent algorithmic specification that can model complex concurrent control flow, logical and arithmetic computation, and communication. This specification is translated into a Petri net which has actions. These actions are refined t...
متن کاملVeri cation driven synthesis of asynchronous circuits from STG speci cation
Introduction The main goal of this work is to develop an e cient algorithm for synthesis of asynchronous control circuits from Signal Transition Graph STG speci cations introduced in There are state space State Graph exploration based as well as structural methods of asynchronous control circuits synthesis known up to date They su er either from the exponential processing time or non optimal so...
متن کامل